doc: Minor doc fix to dirmngr.
authorWerner Koch <wk@gnupg.org>
Fri, 3 May 2019 14:15:04 +0000 (16:15 +0200)
committerDaniel Kahn Gillmor <dkg@fifthhorseman.net>
Thu, 22 Aug 2019 19:11:59 +0000 (20:11 +0100)
commitf562253e72d9512253be6831cc8f7d137acce953
tree3d4ad18ac88aecc377e6d852927324753f6e70ce
parent78e0170068d878fc74970d54975a171b5e5d43a9
doc: Minor doc fix to dirmngr.

--

Reported-by: dkg
(cherry picked from commit 781d2c5c8995b92e58fcf344fa8931523583f537)

Gbp-Pq: Topic from-2.2.16
Gbp-Pq: Name doc-Minor-doc-fix-to-dirmngr.patch
doc/dirmngr.texi